1. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G495
1990
2. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham, 4491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G5